; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sub i64 %"SymVar_0", 902749805
  %".5" = zext i64 %"SymVar_0" to i128
  %".6" = zext i64 0 to i128
  %".7" = shl i128 %".6", 64
  %".8" = or i128 %".5", %".7"
  %".9" = zext i64 7 to i128
  %".10" = udiv i128 %".8", %".9"
  %".11" = trunc i128 %".10" to i64
  %".12" = zext i8 3 to i64
  %".13" = and i64 %".12", 63
  %".14" = lshr i64 %".11", %".13"
  %".15" = and i64 15, %".14"
  %".16" = or i64 1, %".15"
  %".17" = sub i64 64, %".16"
  %".18" = trunc i64 %".17" to i32
  %".19" = zext i32 %".18" to i64
  %".20" = trunc i64 %".19" to i8
  %".21" = zext i8 %".20" to i64
  %".22" = and i64 %".21", 63
  %".23" = lshr i64 127996265, %".22"
  %".24" = zext i8 3 to i64
  %".25" = and i64 %".24", 63
  %".26" = lshr i64 %".11", %".25"
  %".27" = and i64 15, %".26"
  %".28" = or i64 1, %".27"
  %".29" = trunc i64 %".28" to i8
  %".30" = zext i8 %".29" to i64
  %".31" = and i64 %".30", 63
  %".32" = shl i64 127996265, %".31"
  %".33" = or i64 %".23", %".32"
  %".34" = zext i8 4 to i64
  %".35" = and i64 %".34", 63
  %".36" = lshr i64 %".33", %".35"
  %".37" = and i64 15, %".36"
  %".38" = or i64 1, %".37"
  %".39" = sub i64 64, %".38"
  %".40" = trunc i64 %".39" to i32
  %".41" = zext i32 %".40" to i64
  %".42" = trunc i64 %".41" to i8
  %".43" = zext i8 %".42" to i64
  %".44" = and i64 %".43", 63
  %".45" = lshr i64 %"SymVar_0", %".44"
  %".46" = zext i8 3 to i64
  %".47" = and i64 %".46", 63
  %".48" = lshr i64 %".11", %".47"
  %".49" = and i64 15, %".48"
  %".50" = or i64 1, %".49"
  %".51" = sub i64 64, %".50"
  %".52" = trunc i64 %".51" to i8
  %".53" = zext i8 %".52" to i64
  %".54" = and i64 %".53", 63
  %".55" = lshr i64 127996265, %".54"
  %".56" = zext i8 3 to i64
  %".57" = and i64 %".56", 63
  %".58" = lshr i64 %".11", %".57"
  %".59" = and i64 15, %".58"
  %".60" = or i64 1, %".59"
  %".61" = trunc i64 %".60" to i8
  %".62" = zext i8 %".61" to i64
  %".63" = and i64 %".62", 63
  %".64" = shl i64 127996265, %".63"
  %".65" = or i64 %".55", %".64"
  %".66" = zext i8 4 to i64
  %".67" = and i64 %".66", 63
  %".68" = lshr i64 %".65", %".67"
  %".69" = and i64 15, %".68"
  %".70" = or i64 1, %".69"
  %".71" = trunc i64 %".70" to i32
  %".72" = zext i32 %".71" to i64
  %".73" = trunc i64 %".72" to i8
  %".74" = zext i8 %".73" to i64
  %".75" = and i64 %".74", 63
  %".76" = shl i64 %"SymVar_0", %".75"
  %".77" = or i64 %".45", %".76"
  %".78" = and i64 31, %".77"
  %".79" = zext i8 4 to i64
  %".80" = and i64 %".79", 63
  %".81" = shl i64 %".78", %".80"
  %".82" = or i64 %".81", %".11"
  %".83" = and i64 15, %".82"
  %".84" = zext i8 2 to i64
  %".85" = and i64 %".84", 63
  %".86" = shl i64 %".83", %".85"
  %".87" = or i64 %".86", %".82"
  %".88" = and i64 15, %".87"
  %".89" = or i64 1, %".88"
  %".90" = sub i64 64, %".89"
  %".91" = trunc i64 %".90" to i8
  %".92" = zext i8 %".91" to i64
  %".93" = and i64 %".92", 63
  %".94" = lshr i64 %".4", %".93"
  %".95" = and i64 15, %".87"
  %".96" = or i64 1, %".95"
  %".97" = trunc i64 %".96" to i8
  %".98" = zext i8 %".97" to i64
  %".99" = and i64 %".98", 63
  %".100" = shl i64 %".4", %".99"
  %".101" = or i64 %".94", %".100"
  %".102" = sext i64 343000538 to i128
  %".103" = sub i64 %"SymVar_0", 696182945
  %".104" = sext i64 %".103" to i128
  %".105" = mul i128 %".102", %".104"
  %".106" = trunc i128 %".105" to i64
  %".107" = lshr i64 %".106", 16
  %".108" = trunc i64 %".107" to i8
  %".109" = zext i8 %".108" to i16
  %".110" = lshr i64 %".106", 24
  %".111" = trunc i64 %".110" to i8
  %".112" = zext i8 %".111" to i16
  %".113" = shl i16 %".112", 8
  %".114" = or i16 %".109", %".113"
  %".115" = zext i16 %".114" to i32
  %".116" = zext i32 %".115" to i64
  %".117" = trunc i64 %".116" to i16
  %".118" = zext i16 %".117" to i32
  %".119" = zext i32 %".118" to i64
  %".120" = trunc i64 %".119" to i16
  %".121" = zext i16 %".120" to i32
  %".122" = zext i32 %".121" to i64
  %".123" = trunc i64 %".122" to i16
  %".124" = zext i16 %".123" to i32
  %".125" = zext i32 %".124" to i64
  %".126" = trunc i64 %".125" to i16
  %".127" = trunc i16 %".126" to i8
  %".128" = zext i8 %".127" to i64
  %".129" = trunc i64 %".125" to i16
  %".130" = lshr i16 %".129", 8
  %".131" = trunc i16 %".130" to i8
  %".132" = zext i8 %".131" to i64
  %".133" = shl i64 %".132", 8
  %".134" = or i64 %".128", %".133"
  %".135" = lshr i64 %".106", 32
  %".136" = trunc i64 %".135" to i8
  %".137" = zext i8 %".136" to i16
  %".138" = lshr i64 %".106", 40
  %".139" = trunc i64 %".138" to i8
  %".140" = zext i8 %".139" to i16
  %".141" = shl i16 %".140", 8
  %".142" = or i16 %".137", %".141"
  %".143" = zext i16 %".142" to i32
  %".144" = zext i32 %".143" to i64
  %".145" = trunc i64 %".144" to i16
  %".146" = zext i16 %".145" to i32
  %".147" = zext i32 %".146" to i64
  %".148" = trunc i64 %".147" to i16
  %".149" = zext i16 %".148" to i32
  %".150" = zext i32 %".149" to i64
  %".151" = trunc i64 %".150" to i16
  %".152" = zext i16 %".151" to i32
  %".153" = zext i32 %".152" to i64
  %".154" = trunc i64 %".153" to i16
  %".155" = trunc i16 %".154" to i8
  %".156" = zext i8 %".155" to i64
  %".157" = shl i64 %".156", 16
  %".158" = or i64 %".134", %".157"
  %".159" = trunc i64 %".153" to i16
  %".160" = lshr i16 %".159", 8
  %".161" = trunc i16 %".160" to i8
  %".162" = zext i8 %".161" to i64
  %".163" = shl i64 %".162", 24
  %".164" = or i64 %".158", %".163"
  %".165" = lshr i64 %".106", 48
  %".166" = trunc i64 %".165" to i8
  %".167" = zext i8 %".166" to i16
  %".168" = lshr i64 %".106", 56
  %".169" = trunc i64 %".168" to i8
  %".170" = zext i8 %".169" to i16
  %".171" = shl i16 %".170", 8
  %".172" = or i16 %".167", %".171"
  %".173" = zext i16 %".172" to i32
  %".174" = zext i32 %".173" to i64
  %".175" = trunc i64 %".174" to i16
  %".176" = zext i16 %".175" to i32
  %".177" = zext i32 %".176" to i64
  %".178" = trunc i64 %".177" to i16
  %".179" = zext i16 %".178" to i32
  %".180" = zext i32 %".179" to i64
  %".181" = trunc i64 %".180" to i16
  %".182" = zext i16 %".181" to i32
  %".183" = zext i32 %".182" to i64
  %".184" = trunc i64 %".183" to i16
  %".185" = zext i16 %".184" to i32
  %".186" = zext i32 %".185" to i64
  %".187" = trunc i64 %".186" to i16
  %".188" = zext i16 %".187" to i32
  %".189" = zext i32 %".188" to i64
  %".190" = trunc i64 %".189" to i16
  %".191" = zext i16 %".190" to i32
  %".192" = zext i32 %".191" to i64
  %".193" = trunc i64 %".192" to i16
  %".194" = zext i16 %".193" to i32
  %".195" = zext i32 %".194" to i64
  %".196" = trunc i64 %".195" to i16
  %".197" = trunc i16 %".196" to i8
  %".198" = zext i8 %".197" to i64
  %".199" = shl i64 %".198", 32
  %".200" = or i64 %".164", %".199"
  %".201" = trunc i64 %".195" to i16
  %".202" = lshr i16 %".201", 8
  %".203" = trunc i16 %".202" to i8
  %".204" = zext i8 %".203" to i64
  %".205" = shl i64 %".204", 40
  %".206" = or i64 %".200", %".205"
  %".207" = trunc i64 %".106" to i8
  %".208" = zext i8 %".207" to i16
  %".209" = lshr i64 %".106", 8
  %".210" = trunc i64 %".209" to i8
  %".211" = zext i8 %".210" to i16
  %".212" = shl i16 %".211", 8
  %".213" = or i16 %".208", %".212"
  %".214" = zext i16 %".213" to i32
  %".215" = zext i32 %".214" to i64
  %".216" = trunc i64 %".215" to i16
  %".217" = zext i16 %".216" to i32
  %".218" = zext i32 %".217" to i64
  %".219" = trunc i64 %".218" to i16
  %".220" = trunc i16 %".219" to i8
  %".221" = zext i8 %".220" to i64
  %".222" = shl i64 %".221", 48
  %".223" = or i64 %".206", %".222"
  %".224" = trunc i64 %".218" to i16
  %".225" = lshr i16 %".224", 8
  %".226" = trunc i16 %".225" to i8
  %".227" = zext i8 %".226" to i64
  %".228" = shl i64 %".227", 56
  %".229" = or i64 %".223", %".228"
  %".230" = zext i8 2 to i64
  %".231" = and i64 %".230", 63
  %".232" = lshr i64 %".229", %".231"
  %".233" = and i64 15, %".232"
  %".234" = or i64 1, %".233"
  %".235" = sub i64 64, %".234"
  %".236" = trunc i64 %".235" to i32
  %".237" = zext i32 %".236" to i64
  %".238" = trunc i64 %".237" to i8
  %".239" = zext i8 %".238" to i64
  %".240" = and i64 %".239", 63
  %".241" = lshr i64 %".77", %".240"
  %".242" = zext i8 %".127" to i64
  %".243" = zext i8 %".131" to i64
  %".244" = shl i64 %".243", 8
  %".245" = or i64 %".242", %".244"
  %".246" = zext i8 %".155" to i64
  %".247" = shl i64 %".246", 16
  %".248" = or i64 %".245", %".247"
  %".249" = zext i8 %".161" to i64
  %".250" = shl i64 %".249", 24
  %".251" = or i64 %".248", %".250"
  %".252" = zext i8 %".197" to i64
  %".253" = shl i64 %".252", 32
  %".254" = or i64 %".251", %".253"
  %".255" = zext i8 %".203" to i64
  %".256" = shl i64 %".255", 40
  %".257" = or i64 %".254", %".256"
  %".258" = zext i8 %".220" to i64
  %".259" = shl i64 %".258", 48
  %".260" = or i64 %".257", %".259"
  %".261" = zext i8 %".226" to i64
  %".262" = shl i64 %".261", 56
  %".263" = or i64 %".260", %".262"
  %".264" = zext i8 2 to i64
  %".265" = and i64 %".264", 63
  %".266" = lshr i64 %".263", %".265"
  %".267" = and i64 15, %".266"
  %".268" = or i64 1, %".267"
  %".269" = trunc i64 %".268" to i8
  %".270" = zext i8 %".269" to i64
  %".271" = and i64 %".270", 63
  %".272" = shl i64 %".77", %".271"
  %".273" = or i64 %".241", %".272"
  %".274" = zext i8 4 to i64
  %".275" = and i64 %".274", 63
  %".276" = lshr i64 %".273", %".275"
  %".277" = and i64 15, %".276"
  %".278" = or i64 1, %".277"
  %".279" = sub i64 64, %".278"
  %".280" = trunc i64 %".279" to i8
  %".281" = zext i8 %".280" to i64
  %".282" = and i64 %".281", 63
  %".283" = shl i64 %".101", %".282"
  %".284" = and i64 15, %".87"
  %".285" = or i64 1, %".284"
  %".286" = sub i64 64, %".285"
  %".287" = trunc i64 %".286" to i32
  %".288" = zext i32 %".287" to i64
  %".289" = trunc i64 %".288" to i8
  %".290" = zext i8 %".289" to i64
  %".291" = and i64 %".290", 63
  %".292" = lshr i64 %".4", %".291"
  %".293" = and i64 15, %".87"
  %".294" = or i64 1, %".293"
  %".295" = trunc i64 %".294" to i8
  %".296" = zext i8 %".295" to i64
  %".297" = and i64 %".296", 63
  %".298" = shl i64 %".4", %".297"
  %".299" = or i64 %".292", %".298"
  %".300" = zext i8 %".127" to i64
  %".301" = zext i8 %".131" to i64
  %".302" = shl i64 %".301", 8
  %".303" = or i64 %".300", %".302"
  %".304" = zext i8 %".155" to i64
  %".305" = shl i64 %".304", 16
  %".306" = or i64 %".303", %".305"
  %".307" = zext i8 %".161" to i64
  %".308" = shl i64 %".307", 24
  %".309" = or i64 %".306", %".308"
  %".310" = zext i8 %".197" to i64
  %".311" = shl i64 %".310", 32
  %".312" = or i64 %".309", %".311"
  %".313" = zext i8 %".203" to i64
  %".314" = shl i64 %".313", 40
  %".315" = or i64 %".312", %".314"
  %".316" = zext i8 %".220" to i64
  %".317" = shl i64 %".316", 48
  %".318" = or i64 %".315", %".317"
  %".319" = zext i8 %".226" to i64
  %".320" = shl i64 %".319", 56
  %".321" = or i64 %".318", %".320"
  %".322" = zext i8 2 to i64
  %".323" = and i64 %".322", 63
  %".324" = lshr i64 %".321", %".323"
  %".325" = and i64 15, %".324"
  %".326" = or i64 1, %".325"
  %".327" = sub i64 64, %".326"
  %".328" = trunc i64 %".327" to i32
  %".329" = zext i32 %".328" to i64
  %".330" = trunc i64 %".329" to i8
  %".331" = zext i8 %".330" to i64
  %".332" = and i64 %".331", 63
  %".333" = lshr i64 %".77", %".332"
  %".334" = zext i8 %".127" to i64
  %".335" = zext i8 %".131" to i64
  %".336" = shl i64 %".335", 8
  %".337" = or i64 %".334", %".336"
  %".338" = zext i8 %".155" to i64
  %".339" = shl i64 %".338", 16
  %".340" = or i64 %".337", %".339"
  %".341" = zext i8 %".161" to i64
  %".342" = shl i64 %".341", 24
  %".343" = or i64 %".340", %".342"
  %".344" = zext i8 %".197" to i64
  %".345" = shl i64 %".344", 32
  %".346" = or i64 %".343", %".345"
  %".347" = zext i8 %".203" to i64
  %".348" = shl i64 %".347", 40
  %".349" = or i64 %".346", %".348"
  %".350" = zext i8 %".220" to i64
  %".351" = shl i64 %".350", 48
  %".352" = or i64 %".349", %".351"
  %".353" = zext i8 %".226" to i64
  %".354" = shl i64 %".353", 56
  %".355" = or i64 %".352", %".354"
  %".356" = zext i8 2 to i64
  %".357" = and i64 %".356", 63
  %".358" = lshr i64 %".355", %".357"
  %".359" = and i64 15, %".358"
  %".360" = or i64 1, %".359"
  %".361" = trunc i64 %".360" to i8
  %".362" = zext i8 %".361" to i64
  %".363" = and i64 %".362", 63
  %".364" = shl i64 %".77", %".363"
  %".365" = or i64 %".333", %".364"
  %".366" = zext i8 4 to i64
  %".367" = and i64 %".366", 63
  %".368" = lshr i64 %".365", %".367"
  %".369" = and i64 15, %".368"
  %".370" = or i64 1, %".369"
  %".371" = trunc i64 %".370" to i32
  %".372" = zext i32 %".371" to i64
  %".373" = trunc i64 %".372" to i8
  %".374" = zext i8 %".373" to i64
  %".375" = and i64 %".374", 63
  %".376" = lshr i64 %".299", %".375"
  %".377" = or i64 %".283", %".376"
  ret i64 %".377"
}
